¿Pueden los LLMs razonar como demostradores automáticos de teoremas para la verificación de Rust? VCoT-Bench: Evaluación a través de la Cadena de Pensamiento de Verificación
Los LLMs pueden ser utilizados como demostradores automáticos de teoremas para la verificación de Rust, ofreciendo una herramienta eficaz para garantizar la corrección del código en este lenguaje de programación.